1

A Topological Proof of the Theorem of Löwenheim-Skolem-Gödel.by E. W. Beth

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 199 KB
english, 1954
2

A Simplified Formalization of Predicate Logic with Identity.by Alfred Tarski

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 173 KB
english, 1974
6

Stépéni Nérazréšimosti Problémy Toždéstva v Konéčno Oprédélénnyh Gruppah.by A. A. Friedman;Degrees of Insolvability of the Word Problem in Finitely Defined Groupby A. A. Fridman; Sue Ann Walker;Finitely presented Groups with Word Problems of Arbitrary Degrees of Insolubilityby C. R. J. Clapham;Finitely Presented Group Whose Word Problem has the Same Degree as that of an Arbitrarily Given Thue System (An Application of Methods of Britton)by William W. Boone;Word problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systemsby William W. Boone;Word Problems and Recursively Enumerable Degrees of Unsolvability. A Sequel on Finitely Presented Groupsby William W. Boone

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 338 KB
english, 1968
10

Axioms of Infinity of Set Theoryby Gaisi Takeuti

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 358 KB
english, 1962
11

Varianten von Turingmaschinenby Walter Oberschelp

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1971
Language:
english
File:
PDF, 205 KB
english, 1971
12

Automata and Finite Automataby C. Y. Lee

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1971
Language:
english
File:
PDF, 329 KB
english, 1971
13

Comment on a Theorem of Hao Wangby G. P. Zykin

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1971
Language:
english
File:
PDF, 205 KB
english, 1971
14

An Embedding Theorem for Finitely Generated Groupsby C. R. J. Clapham

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 394 KB
english, 1970
16

Computer Programming and Formal Systemsby P. Braffort; D. Hirschberg

Review by: J. C. Shepherdson
Journal:
The Philosophical Quarterly
Year:
1965
Language:
english
File:
PDF, 119 KB
english, 1965
17

Computerzing Mathematics: Logic and Computationby Michael J. Beeson

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1991
Language:
english
File:
PDF, 310 KB
english, 1991
18

Foundations of Logic Programmingby J. W. Lloyd

Review by: John C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1987
Language:
english
File:
PDF, 348 KB
english, 1987
20

Mathematische Gesetze der Logik Iby H. A. Schmidt

Review by: J. C. Shepherdson
Journal:
The Mathematical Gazette
Year:
1961
Language:
english
File:
PDF, 152 KB
english, 1961
21

Recursive Equivalence Typesby J. C. E. Dekker; J. Myhill

Review by: J. C. Shepherdson
Journal:
The Mathematical Gazette
Year:
1962
Language:
english
File:
PDF, 177 KB
english, 1962
22

Notes on Logic.by Roger C. Lyndon

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 156 KB
english, 1973
23

Computability Theory, Semantics, and Logic Programmingby Melvin Fitting

Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1988
Language:
english
File:
PDF, 104 KB
english, 1988
25

O. & M. -- A Management Serviceby D. B. Candlin

Review by: J. P. Shepherdson
Journal:
Operational Research Quarterly (1970-1977)
Year:
1970
Language:
english
File:
PDF, 121 KB
english, 1970
26

Recursivenessby Samuel EILENBERG; Calvin C. Elgot

Review by: J. C. Shepherdson
Journal:
American Scientist
Year:
1971
Language:
english
File:
PDF, 341 KB
english, 1971